Tiny doc/misc edits
authorGlenn Morris <rgm@gnu.org>
Fri, 21 Mar 2014 07:00:21 +0000 (00:00 -0700)
committerGlenn Morris <rgm@gnu.org>
Fri, 21 Mar 2014 07:00:21 +0000 (00:00 -0700)
commit270fd4452d32b2177daf009e830ef81c80e278fa
tree91b27d3e97fd13e600afb724023ab78211bff198
parent4d1525b9e7205021290468e44a44e10f592b659d
Tiny doc/misc edits

* doc/misc/ede.texi (ede-linux):
* doc/misc/vip.texi (New Bindings): Tiny copyedits.
doc/misc/ChangeLog
doc/misc/ede.texi
doc/misc/vip.texi